It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively enumerable. In this paper we show that an even simpler fragment consisting of monodic monadic two-variable formulae is not recursively enumerable.

Radical ecology typically brings to mind media images of ecological activists standing before loggers' saws, staging anti-nuclear marches, and confronting polluters on the high seas. Yet for more than twenty years, the activities of organizations such as the Greens and Earth First! have been influenced by a diverse, less-publicized group of radical ecological philosophers. It is their work—the philosophical underpinnings of the radical ecological movement—that is the subject of _Contesting Earth's Future_. The book offers a much-needed, balanced appraisal of radical (...) ecology's principles, goals, and limitations. Michael Zimmerman critically examines the movement's three major branches—deep ecology, social ecology, and ecofeminism. He also situates radical ecology within the complex cultural and political terrain of the late twentieth century, showing its relation to Martin Heidegger's anti-technological thought, 1960s counterculturalism, and contemporary theories of poststructuralism and postmodernity. An early and influential ecological thinker, Zimmerman is uniquely qualified to provide a broad overview of radical environmentalism and delineate its various schools of thought. He clearly describes their defining arguments and internecine disputes, among them the charge that deep ecology is an anti-modern, proto-fascist ideology. Reflecting both the movement's promise and its dangers, this book is essential reading for all those concerned with the worldwide ecological crisis. (shrink)

This collection of essays by one of the most prominent and internationally respected philosophers of action theory is concerned with deepening our understanding of the notion of intention. In Bratman's view, when we settle on a plan for action we are committing ourselves to future conduct in ways that help support important forms of coordination and organization both within the life of the agent and interpersonally. These essays enrich that account of commitment involved in intending, and explore its implications for (...) our understanding of temptation and self-control, shared intention and shared cooperative activity, and moral responsibility. The essays offer extensive discussions of related views by, among others, Donald Davidson, Hector-Neri Castañeda, Christine Korsgaard, Harry Frankfurt, and P. F. Strawson. This collection will be a valuable resource for a wide range of philosophers and their students. (shrink)

"Writing in a lively and refreshingly clear American English, Zimmerman provides an uncompromisingly honest and judicious account... of Heidegger’s views on technology and his involvement with National Socialism.... One of the most important books on Heidegger in recent years." —John D. Caputo "... superb... " —Thomas Sheehan, The New York Review of Books "... thorough and complex... " —Choice "... excellent guide to Heidegger as eco-philosopher." —Radical Philosophy "... engrossing, rich in substance... makes clear Heidegger's importance for the issue of (...) technology, ethics, and politics." —Religious Studies Review The relation between Martin Heidegger’s understanding of technology and his affiliation with and conception of National Socialism is the leading idea of this fascinating and revealing book. Zimmerman shows that the key to the relation between Heidegger’s philosophy and his politics was his concern with the nature of working and production. (shrink)

We examined the relationship between leader behavioral integrity and leader behavioral courage using data from two studies. Results from Study 1, an online experiment, indicated that behavioral manifestations of leader behavioral integrity and situational adversity both have direct main effects on behavioral manifestations of leader courage. Results from Study 2, a multisource field study with practicing executives, indicated that leader behavioral courage fully mediates the effects of leader behavioral integrity on leader performance and leader executive image. Implications of these findings (...) and future directions are discussed. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ghazali and Demonstrative Science MICHAEL E. MARMURA I MEDIEVALISLA_MICtheologians subjected Aristotle's theory of the essential efficient cause to severe criticism and rejected it. This criticism and rejection finds its most forceful expression in the writings of Ghazali (al-Ghaz~li) (d. 1111).1 In his Tahafut al-Falasifa (The Incoherence of the Philosophers), he argues on logical and empirical grounds that the alleged necessary connection between what is habitually regarded as the (...) natural efficient cause and its effect cannot be proven. He does not, however, take an agnostic stand on this question but proceeds to affirm two points: (1) that there is no causal agency in natural things; (2) that all natural events are the direct creation of God. Ghazali, moreover, does not confine such divine action to the realm of the inanimate and the irrational, in his al-Iqtis.~d fi-l-Ftiqad (The Golden Mean of Belief), he affirms the doctrine that the individual human act, like any other occurrence in the world, is also the direct creation of God. Causal efficacy resides in God alone. But the divine act, for Ghazali, is not an essential act. It does not proceed as the necessary consequence of divine essence. It is the arbitrary decree of the divine will, an attribute coeternal, but not identical with divine essence. Ghazali thus denies essential action altogether. In all this, he gives expression to the occasionalism of the Islamic school of dogmatic theology (kal~m) to which he belonged, the Ashcarite school. Ghazali had also a keen interest in logic. He wrote logical treatises for his fellow theologians, encouraging them to master this art as a tool to rebutt their doctrinal opponents. The~ treatises, in the main, sum up and explain the logic used by the Islamic philosophers--a logic that reflects the Stoic and Aristotelian traditions. Ghazali recognizes formal logic to be philosophically neutral, and hence in no way conflicting with his theology." He does not confine himself to formal logic in these expositions, however, but discusses Aristotelian demonstration. And it is in his statements on demonstration that we seem to be confronted with paradox. Demonstrative science, as understood by the Islamic philosophers, rests on the theory of essential causes and functions in terms of it. Indeed, in his reply to Ghazali's rejection of essential efficient causes in nature, Averroes (Ibn Rushd) (d. 1198) argues Texts frequently referred to in the notes will be abbreviated as follows: Demonstration: Ibn Sin~, Al-Shifa~; Logic V.; Demonstration, ed. A. E. Affifi,revised by I. Madkur (Cairo, 1956). Iqti~dd: A1-Ghaz~li, Al-Iqtisad Fi-l-ICtiqad(Cairo: no date). Metaphysics: Ibn Sin~, A1-Shif~: al-Ilah~yat (Metaphysics), ed. C. C. Anawati, S. Dunya, and S. Zayd, revised by I. Madkur (2 vols.; Cairo, 1960). MI: AI-Ghaz~lI,MiCyaral-CIlm,ed. S. Dunya (Cairo, 1961). TF: A1-Ghaz~ll, Tahafut al-Falasifa, ed. M. Bouyges (Beirut, 1927). TT: Ibn Rushd (Averroes), Tahafut al-Tahafut, ed. M. Bouyges, Beirut, 1930). 2 TF., pp. 15-17. [1831 184 HISTORY OF PHILOSOPHY that such a rejection would render demonstrative science impossible. We would have no true knowledge; at best, only opinion. 3For this staunch defender of Aristotle, the theory of natural efficient causality constitutes a necessary condition for demonstrative science. Yet Ghazali in his writings does not deny the claim that demonstration gives us certain knowledge about the natural order. On the contrary, he seems to be affirming this in both his Tahdfutand the logical treatise he appended to this work, Mi~jdral-CIlm(The Standardfor Knowledge).If Ghazali does in fact uphold this claim for demonstration, then he must either deny that the theory of essential efficient causality is a necessary condition for demonstrative science, or fall into contradiction. At first glance, Ghazali's position in the Micy~r,where he gives his most comprehensive treatment of demonstration, is highly ambiguous and suggests contradiction. He seems for the most part to be reproducing the essentials of the Aristotelian demonstrative theory. Although in one section he reaffirms his rejection of necessary causal connection in nature, he nonetheless continues to use such terms as "cause," "effect," "necessity" and "certainty" in what appear to be... (shrink)

Recently several philosophers have argued that environmental reform movements cannot halt humankind’s destruction of the biosphere because they still operate within the anthropocentric humanism that forms the root of the ecological crisis. According to “radical” environmentalists, disaster can be averted only if we adopt a nonanthropocentric understanding of reality that teaches us to live harmoniouslyon the Earth. Martin Heidegger agrees that humanism leads human beings beyond their proper limits while forcing other beings beyond their limits as weIl. The doctrine of (...) the “rights of man” justifies human exploitation of nonhuman beings. Paradoxically, however, the doctrine of rights for nonhuman beings does not escape the orbit of humanism. According to Heidegger, a nonanthropocentric conception of humanity and its relation to nature must go beyond the doctrine of rights. We can dweIl harmoniously on Earth only by submitting to our primary obligation: to be open for the Being of beings. We need a new way of understanding Being, a new ethos, that lets beings manifest themselves not merely as objects for human ends, but as intrinsically important. Heidegger calls this ethos the “fourfold” of earth and sky, gods and mortals. Humanists argue that Heidegger is wrong to abandon the principle of human rights in favor of the notion that we are obligated to “let beings be,” while some radical environmentalists accuse hirn of being a humanist because he supposedly overestimates the importance of humankind’s ability to speak. Heidegger insists, however, that language makes possible culture, without which thereis no human experience of nature. An environmentally sound ethos. can arise, according to Heidegger, only from a shift within the cultural heritage of the West. Richard Rorty agrees that we must become open for a new “conversation” with the West, even if this requires abandoning traditionally important fields such as epistemology. The need to develop a new understanding of Being is so great that thinkers from the analytic and continental traditions of philosophy are finally initiating a long-overdue dialogue. (shrink)

I argue that 'c' occurs extensionally in 'c caused e' and 'D' occurs extensionally in 'c caused e because c is D'. I claim that this has been insufficiently appreciated because the two contexts are often run together and because it has not been clear that the description D of c is among the referents of an explanatory argument. I argue as well that Hume's analysis of causation is consistent with taking causation to be a relation between single events, and (...) that even if events are eliminated as virtual entities, extensionality holds for all terms in the resulting context. (shrink)

Radical ecology typically brings to mind media images of ecological activists standing before loggers' saws, staging anti-nuclear marches, and confronting polluters on the high seas. Yet for more than twenty years, the activities of organizations such as the Greens and Earth First! have been influenced by a diverse, less-publicized group of radical ecological philosophers. It is their work—the philosophical underpinnings of the radical ecological movement—that is the subject of _Contesting Earth's Future_. The book offers a much-needed, balanced appraisal of radical (...) ecology's principles, goals, and limitations. Michael Zimmerman critically examines the movement's three major branches—deep ecology, social ecology, and ecofeminism. He also situates radical ecology within the complex cultural and political terrain of the late twentieth century, showing its relation to Martin Heidegger's anti-technological thought, 1960s counterculturalism, and contemporary theories of poststructuralism and postmodernity. An early and influential ecological thinker, Zimmerman is uniquely qualified to provide a broad overview of radical environmentalism and delineate its various schools of thought. He clearly describes their defining arguments and internecine disputes, among them the charge that deep ecology is an anti-modern, proto-fascist ideology. Reflecting both the movement's promise and its dangers, this book is essential reading for all those concerned with the worldwide ecological crisis. (shrink)

These essays exhibit explanation and argument regarding some of the possible answers to these fundamental questions in moral philosophy.

These are replies to the discussions by Kirk Ludwig, Elizabeth Pacherie, Björn Petersson, Abraham Roth, and Thomas Smith of Michael E. Bratman, Shared Agency: A Planning Theory of Acting Together (Oxford University Press, 2014).

Approaches to the interpretation of physical theories provide accounts of how physical meaning accrues to the mathematical structure of a theory. According to many standard approaches to interpretation, meaning relations are captured by maps from the mathematical structure of the theory to statements expressing its empirical content. In this article I argue that while such accounts adequately address meaning relations when exact models are available or perturbation theory converges, they do not fare as well for models that give rise to (...) divergent perturbative expansions. Since truncations of divergent perturbative expansions often play a critical role in establishing the empirical adequacy of a theory, this is a serious deficiency. I show how to augment state-space semantics, a view developed by Beth and van Fraassen, to capture perturbatively evaluated observables even in cases where perturbation theory is divergent. This new semantics establishes a sense in which the calculations that underwrite the empirical adequacy of a theory are both meaningful and true, but requires departure from the assumption that physical meaning is captured entirely by the exact models of a theory. (shrink)

This book challenges the dominant approach to problems of justice in global normative theory and offers a radical alternative designed to transform our thinking about what kind of problem injustice is and how political theorists might do better in understanding and addressing it. It argues that the dominant approach, ideal moral theory (IMT), takes a fundamentally wrong-headed approach to the problem of justice. IMT seeks to work out what an ideally just society would look like, and only then outlines our (...) moral obligations in realizing that ideal. In other words, it ignores the realities of everyday politics. As Michael Goodhart asserts, IMT postpones engagement with actually existing injustices and distorts our understanding of them, and it normalizes many problematic features of our world. On the other hand, the leading alternatives to IMT struggle to make sense of the role values play in politics. This book sees justice as an ideology and develops an innovative bifocal theoretical framework for making sense of it. This framework provides two complementary perspectives on justice: a theoretical perspective that situates competing ideological claims about justice in a broader political context and a partisan perspective that evaluates the structure and coherence of particular conceptions of justice. As opposed to IMT, it focuses on barriers to justice and advocates an activist political theory that takes sides in political struggles against injustice. Goodhart argues that theorists can help to generate the countervailing power necessary for social transformation through the work of articulation, translation, and mapping, work which contributes to a more comprehensive social science of injustice. (shrink)

Cases of modest sociality are cases of small scale shared intentional agency in the absence of asymmetric authority relations. I seek a conceptual framework that adequately supports our theorizing about such modest sociality. I want to understand what in the world constitutes such modest sociality. I seek an understanding of the kinds of normativity that are central to modest sociality. And throughout we need to keep track of the relations—conceptual, metaphysical, normative—between individual agency and modest sociality. In pursuit of these (...) theoretical aims, I propose that a central phenomenon is shared intention. I argue that an adequate understanding of the distinctiveness of the intentions of individuals allows us to provide a construction of attitudes of the participants, and of relevant inter-relations and contexts that constitutes shared intention. I explain how shared intention, so understood, differs from a simple equilibrium within common knowledge. And I briefly contrast my views with aspects of views of John Searle and Margaret Gilbert. (shrink)

Recent disclosures regarding the relationship between Heidegger’s thought and his own version of National Socialism have led me to rethink my earlier efforts to portray Heidegger as a forerunner of deep ecology. His political problems have provided ammunition for critics, such as Murray Bookchin, who regard deep ecology as a reactionary movement. In this essay, I argue that, despite some similarities, Heidegger’s thought and deep ecology are in many ways incompatible, in part because deep ecologists—in spite of their criticism of (...) the ecologically destructive character of technological modernity—generally support a “progressive” idea of human evolution. (shrink)

Controversy and activism have long been linked to the subject of primate research. Even in the midst of raging ethical debates surrounding fertility treatments, genetically modified foods and stem-cell research, there has been no reduction in the campaigns of activists worldwide. Plying their trade of intimidation aimed at ending biomedical experimentation in all animals, they have succeeded in creating an environment where research institutions, often painted as guilty until proven innocent, have avoided addressing the issue for fear of becoming targets. (...) One area of intense debate is the use of primates in stroke research. Despite the fact that stroke kills more people each year than AIDS and malaria, and less than 5% of patients are candidates for current therapies, there is significant opposition to primate stroke research. A balanced examination of the ethics of primate stroke research is thus of broad interest to all areas of biomedical research. (shrink)

In a series of three experiments, we explored the nature of implicit representations in change blindness . Using 3 × 3 letter arrays, we asked subjects to locate changes in paired arrays separated by 80 ms ISIs, in which one, two or three letters of a row in the second array changed. In one testing version, a tone followed the second array, signaling a row for partial report . In the other version, no PR was required. After Ss reported whether (...) a change had been detected and the PR had been completed , they were asked to identify a degraded letter trigram that was either novel, or from a previously shown row . Our findings indicate that when CB occurs, both the pre-change and post-change stimulus information primes despite its unavailability to consciousness. Surprisingly, findings also indicate that when change detection occurs only the post-change information primes. (shrink)

Haag’s theorem has been interpreted as establishing that quantum field theory cannot consistently represent interacting fields. Earman and Fraser have clarified how it is possible to give mathematically consistent calculations in scattering theory despite the theorem. However, their analysis does not fully address the worry raised by the result. In particular, I argue that their approach fails to be a complete explanation of why Haag’s theorem does not undermine claims about the empirical adequacy of particular quantum field theories. I then (...) show that such empirical adequacy claims are protected from Haag’s result by the techniques that are required to obtain theoretical predictions for realistic experimental observables. I conclude by showing how Haag’s theorem is illustrative of a general tension between the foundational significance of results that can be obtained in perturbation theory and non-perturbative characterizations of the content of quantum field theory. 1 Introduction2 Haag’s Theorem and the Interaction Picture3 Earman and Fraser on the Success of Scattering Theory4 Haag’s Theorem and Empirical Adequacy5 Conclusion. (shrink)

We are purposive agents; but we—adult humans in a broadly modern world—are more than that. We are reflective about our motivation. We form prior plans and policies that organize our activity over time. And we see ourselves as agents who persist over time and who begin, develop, and then complete temporally extended activities and projects. Any reasonably complete theory of human action will need in some way to advert to this trio of features—to our reflectiveness, our planfulness, and our conception (...) of our agency as temporally extended. These are, further, features that have great significance for the kinds of lives we can live. For these two reasons I will say that these are among the core features of human agency. A theory of human action needs to say what these core features consist in and how they are related to each other. And such a theory needs also to clarify the relation between these core features of our agency and the possibility that we are fully embedded in an event causal order. (shrink)

Recent years have witnessed a burgeoning interest in the study of everyday life within the social sciences and humanities. In Critiques of Everyday Life Michael Gardiner proposes that there exists a counter-tradition within everyday life theorizing.

There is a deeply entrenched view in philosophy and physics, the closed systems view, according to which isolated systems are conceived of as fundamental. On this view, when a system is under the influence of its environment this is described in terms of a coupling between it and a separate system which taken together are isolated. We argue against this view, and in favor of the alternative open systems view, for which systems interacting with their environment are conceived of as (...) fundamental, and the environment's influence is represented via the dynamical equations that govern the system's evolution. Taking quantum theories of closed and open systems as our case study, and considering three alternative notions of fundamentality: (i) ontic fundamentality, (ii) epistemic fundamentality, and (iii) explanatory fundamentality, we argue that the open systems view is fundamental, and that this has important implications for the philosophy of physics, the philosophy of science, and for metaphysics. (shrink)

You can sometimes have and be moved by desires which you in some sense disown. The problem is whether we can make sense of these ideas of---as I will say---ownership and rejection of a desire, without appeal to a little person in the head who is looking on at the workings of her desires and giving the nod to some but not to others. Frankfurt's proposed solution to this problem, sketched in his 1971 article, has come to be called the (...) hierarchical model. Indeed, it seems that, normally, if an agent's relevant higher-order attitudes are not to some extent shaped by her evaluative reflections and judgments her agency will be flawed. But this suggests a Platonic challenge to the hierarchical account of ownership. The challenge is to explain why we should not see such evaluative judgments---rather than broadly Frankfurtian higher-order attitudes---as the fundamental basis of ownership or rejection of desire. I do think that a systematic absence of connection between higher-order Frankfurtian attitude and evaluative judgment would be a breakdown in proper functioning. But I want to explain how we can grant this point and still block the Platonic challenge. (shrink)

In autonomous action the agent herself directs and governs the action. But what is it for the agent herself to direct and to govern? One theme in a series of articles by Harry G. Frankfurt is that we can make progress in answering this question by appeal to higher-order conative attitudes. Frankfurt's original version of this idea is that in acting of one's own free will, one is not acting simply because one desires so to act. Rather, it is also (...) true that this desire motivates one's action because one desires that this desire motivate one's action. This latter desire about the motivational role of one's desire is a second-order desire. It is, in particular, what Frankfurt calls a second-order “volition.” And, according to Frankfurt's original proposal, acting of one's own free will involves in this way such second-order, and sometimes yet higher order, volitions. (shrink)

Suppose you resolve now to resist an expected temptation later while knowing that once the temptation arrives your preference or evaluative assessment will shift in favor of that temptation. Are there defensible norms of rational planning agency that support sticking with your prior intention in the face of such a shift at the time of temptation and in the absence of relevant new information? This article defends the idea that it might be rational to stick with your prior intention in (...) part because of your anticipation of regret in the further future if you were to give in to the temptation. It does this by appeal to the significance of anticipated future regret to the agent ’s present standpoint, and to the role of the agent ’s standpoint in her self-governance. (shrink)

I consider two inter-related problems in the philosophy of action. One concerns the role of the agent in the determination of action, and I call it the problem of agential authority. The other concerns the relation between motivating desire and the agent's normative deliberation, and I call it the problem of subjective normative authority. In part by way of discussion of work of Harry Frankfurt and Christine Korsgaard, I argue that we make progress with these problems by appeal to certain (...) kinds of higher-order policies and to their role in the cross-temporal organization of the deliberation and action of temporally persisting agents like us. (shrink)

Although computation and the science of physical systems would appear to be unrelated, there are a number of ways in which computational and physical concepts can be brought together in ways that illuminate both. This volume examines fundamental questions which connect scholars from both disciplines: is the universe a computer? Can a universal computing machine simulate every physical process? What is the source of the computational power of quantum computers? Are computational approaches to solving physical problems and paradoxes always fruitful? (...) Contributors from multiple perspectives reflecting the diversity of thought regarding these interconnections address many of the most important developments and debates within this exciting area of research. Both a reference to the state of the art and a valuable and accessible entry to interdisciplinary work, the volume will interest researchers and students working in physics, computer science, and philosophy of science and mathematics. (shrink)

The doctrine of double effect has a firm, respected position within Roman Catholic medical ethics. Neil M. Gorsuch, a judge on the U.S. Court of Appeals for the Tenth Circuit, believes that this doctrine also enjoys a central place within U.S. law. This essay examines and assesses Gorsuch’s thesis. National Catholic Bioethics Quarterly 11.1 (Spring 2011): 31–40.